$\forall$$T$:Type, $f$:($T$$\rightarrow$$T$), $x$, $y$:$T$, $L$:($T$ List). $x$=$f$$\ast$($y$) via $L$ $\Rightarrow$ \{($x$ $\in$ $L$) \& ($y$ $\in$ $L$)\}